home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / dviware / dvitops / timesex.ps < prev    next >
Text File  |  1991-01-25  |  1KB  |  54 lines
  1. %!
  2. % $Header: /usr/jjc/dvitops/RCS/timesex.ps,v 1.1 89/02/01 16:41:37 jjc Rel $
  3.  
  4. /Times-Extension 12 dict dup begin
  5.     /FontType 3 def
  6. %    /UniqueID 1 def % how is one supposed to choose this?
  7.     /FontMatrix [.001 0 0 .001 0 0] def
  8.     /FontName /Extension def
  9.     /Encoding 256 array def
  10.     /FontBBox [0 0 0 0] def
  11.     0 1 255 {
  12.         Encoding exch /.notdef put
  13.     } for
  14.     Encoding 8#040 /space put
  15.     Encoding 8#120 /sum put
  16.     Encoding 8#121 /product put
  17.     Encoding 8#130 /bigsum put
  18.     Encoding 8#131 /bigproduct put
  19.     Encoding 8#140 /coproduct put
  20.     Encoding 8#141 /bigcoproduct put
  21.     /BaseFonts [
  22.         /Symbol findfont 1000 scalefont
  23.         dup 1.4 scalefont
  24.         /Symbol findfont [1000 0 0 -1000 0 0] makefont
  25.         dup 1.4 scalefont
  26.     ] def
  27.     /CharStrings 8 dict dup begin
  28.         /.notdef [(\040) 0 250] def
  29.         /space [(\040) 0 250] def
  30.         /sum [(\345) 0 713] def
  31.         /product [(\325) 0 751] def
  32.         /bigsum [(\345) 1 713 1.4 mul] def
  33.         /bigproduct [(\325) 1 751 1.4 mul] def
  34.         /coproduct [(\325) 2 751] def
  35.         /bigcoproduct [(\325) 3 751 1.4 mul] def
  36.     end def
  37.     /BuildChar {
  38.         exch begin
  39.             Encoding exch get
  40.             CharStrings exch get
  41.             dup 2 get 0 setcharwidth
  42.             dup 1 get BaseFonts exch get setfont
  43.             0 0 moveto
  44.             0 get show
  45.         end
  46.     } bind def
  47.     /FontInfo 3 dict dup begin
  48.         /FullName (Extension) def
  49.         /ItalicAngle 0 def
  50.         /isFixedPitch false def
  51.     end def
  52. end definefont pop
  53.  
  54.